Huibiao Zhu：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (19)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

年:

2013

语言:

english

文件:

PDF, 5.68 MB

0 / 0

english, 2013

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC

Springer

Zhiming Liu, Jim Woodcock, Huibiao Zhu

年:

2013

语言:

english

文件:

PDF, 3.25 MB

0 / 0

english, 2013

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)

年:

2010

语言:

english

文件:

PDF, 9.32 MB

0 / 0

english, 2010

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Springer International Publishing

Jonathan P. Bowen, Huibiao Zhu (eds.)

年:

2017

语言:

english

文件:

PDF, 6.03 MB

0 / 0

english, 2017

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He (auth.), Manish Parashar, Sanjeev K. Aggarwal (eds.)

年:

2009

语言:

english

文件:

PDF, 3.16 MB

0 / 0

english, 2009

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

年:

2013

语言:

english

文件:

PDF, 5.30 MB

0 / 0

english, 2013

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

年:

2013

语言:

english

文件:

MOBI , 2.37 MB

0 / 0

english, 2013

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

年:

2013

语言:

english

文件:

PDF, 5.32 MB

0 / 0

english, 2013

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He (auth.), Manish Parashar, Sanjeev K. Aggarwal (eds.)

年:

2009

语言:

english

文件:

PDF, 3.50 MB

0 / 5.0

english, 2009

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

年:

2013

语言:

english

文件:

FB2 , 3.60 MB

0 / 0

english, 2013

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu & Jim Woodcock & Huibiao Zhu (eds.)

文件:

RTF , 4.60 MB

0 / 0

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

年:

2013

语言:

english

文件:

LIT , 1.96 MB

0 / 0

english, 2013

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

年:

2013

语言:

english

文件:

AZW3 , 2.47 MB

0 / 0

english, 2013

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

年:

2013

语言:

english

文件:

PDF, 3.01 MB

0 / 0

english, 2013

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

年:

2013

语言:

english

文件:

PDF, 5.34 MB

0 / 0

english, 2013

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)

年:

2010

语言:

english

文件:

PDF, 9.26 MB

0 / 0

english, 2010

Service-Oriented Computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Yu Deng, Liangzhao Zeng (auth.), Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quang Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang (eds.)

年:

2013

语言:

english

文件:

PDF, 14.57 MB

0 / 0

english, 2013

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

年:

2013

语言:

english

文件:

PDF, 4.73 MB

0 / 0

english, 2013

Theories of Programming and Formal Methods

Springer

Zhiming Liu, Jim Woodcock, Huibiao Zhu

年:

2013

语言:

english

文件:

PDF, 5.67 MB

0 / 0

english, 2013